From: Don Slutz Date: Thu, 3 Apr 2014 19:06:52 +0000 (-0400) Subject: xenctx: clean up usage output X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~5276 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=52bfb010811c04155a35e0613dd9902c38fb96a5;p=xen.git xenctx: clean up usage output Fix usage formatting to be all the same. Fix usage display of default --kernel-start for 64 bit. Signed-off-by: Don Slutz Reviewed-by: George Dunlap Acked-by: Ian Campbell --- diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c index 47712abdf1..889f788003 100644 --- a/tools/xentrace/xenctx.c +++ b/tools/xentrace/xenctx.c @@ -823,15 +823,16 @@ static void usage(void) printf("options:\n"); printf(" -f, --frame-pointers\n"); - printf(" assume the kernel was compiled with\n"); - printf(" frame pointers.\n"); + printf(" assume the kernel was compiled with\n"); + printf(" frame pointers.\n"); printf(" -s SYMTAB, --symbol-table=SYMTAB\n"); - printf(" read symbol table from SYMTAB.\n"); - printf(" -S --stack-trace print a complete stack trace.\n"); - printf(" -k, --kernel-start\n"); - printf(" set user/kernel split. (default 0xc0000000)\n"); - printf(" -a --all display more registers\n"); - printf(" -C --all-vcpus print info for all vcpus\n"); + printf(" read symbol table from SYMTAB.\n"); + printf(" -S, --stack-trace print a complete stack trace.\n"); + printf(" -k KADDR, --kernel-start=KADDR\n"); + printf(" set user/kernel split. (default 0x"FMT_32B_WORD")\n", + kernel_start); + printf(" -a, --all display more registers\n"); + printf(" -C, --all-vcpus print info for all vcpus\n"); } int main(int argc, char **argv)